type void

let rec absurd (x : void) = absurd x
